Scalability issues with using FSMWeb to test web applications

Web applications are fast becoming more widespread, larger, more interactive, and more essential to the international use of computers. It is well understood that web applications must be highly dependable, and as a field we are just now beginning to understand how to model and test Web applications. One straightforward technique is to model Web applications as finite state machines. However, large numbers of input fields, input choices and the ability to enter values in any order combine to create a state space explosion problem. This paper evaluates a solution that uses constraints on the inputs to reduce the number of transitions, thus compressing the FSM. The paper presents an analysis of the potential savings of the compression technique and reports actual savings from two case studies. Contact Information Anneliese A. Andrews Professor and Associate Dean University of Denver 360 S. Gaylord Street, JGH 116 Denver, CO 80208 [email protected] ∗Professor and Associate Dean, University of Denver, 360 S. Gaylord Street, JGH 116, Denver, CO 80208, [email protected] †Software Engineering, George Mason University, Fairfax, VA 22030 USA, [email protected] ‡School of EE and CS, Washington State University, Pullman, WA 99164, {cdyreson, cmallery, kjerath}@eecs.wsu.edu §Schweitzer Engineering Laboratories, Inc., Pullman, Washington 99163, [email protected]